Threshold theorem in isolated quantum dynamics with stochastic control errors

We investigate the effect of stochastic control errors in the time-dependent Hamiltonian on isolated quantum dynamics. The control errors are formulated as time-dependent stochastic noise in the Schrödinger equation. For a class of stochastic control errors, we establish a threshold theorem that provides a sufficient condition to obtain the target state, which should be determined in noiseless isolated quantum dynamics, as a relation between the number of measurements and noise strength. The theorem guarantees that if the sum of the noise strengths is less than the inverse of computational time, the target state can be obtained through a constant-order number of measurements. If the opposite is true, the number of measurements to guarantee obtaining the target state increases exponentially with computational time. Our threshold theorem can be applied to any isolated quantum dynamics such as quantum annealing and adiabatic quantum computation. This article is part of the theme issue ‘Quantum annealing and computation: challenges and perspectives’.

MO, 0000-0002-8576-3191; KO, 0000-0002-5607-109X We investigate the effect of stochastic control errors in the time-dependent Hamiltonian on isolated quantum dynamics. The control errors are formulated as time-dependent stochastic noise in the Schrödinger equation. For a class of stochastic control errors, we establish a threshold theorem that provides a sufficient condition to obtain the target state, which should be determined in noiseless isolated quantum dynamics, as a relation between the number of measurements and noise strength. The theorem guarantees that if the sum of the noise strengths is less than the inverse of computational time, the target state can be obtained through a constant-order number of measurements. If the opposite is true, the number of measurements to guarantee obtaining the target state increases exponentially with computational time. Our threshold theorem can be applied to any isolated quantum dynamics such as quantum annealing and adiabatic quantum computation.
This article is part of the theme issue 'Quantum annealing and computation: challenges and perspectives'.
2022 The Authors. Published by the Royal Society under the terms of the Creative Commons Attribution License http://creativecommons.org/licenses/ by/4.0/, which permits unrestricted use, provided the original author and source are credited.

Introduction
Recent advances in experimental techniques have enabled the experimental realization of quantum dynamics, and it has become increasingly important to understand quantum dynamics. In particular, recent efforts to realize quantum computation are progressing rapidly [1,2]; hence, the precise control of quantum dynamics is required.
Although quantum dynamics is ideally described by the Schrödinger equation, the influence of the external environment cannot be ignored in experimental systems. The external environment has two main effects on quantum systems: the influence from a heat bath and control errors of the Hamiltonian. Here, we consider a case in which the influence of the heat bath can be eliminated. Therefore, the dynamics of the target quantum system can be realized if the Hamiltonian can be controlled in an ideal manner. However, it is difficult to control the Hamiltonian without errors in experimental systems. Then, a natural question arises: is isolated quantum dynamics robust to the effects of control errors? If the properties of isolated quantum dynamics dramatically change because of control errors, then it will be difficult to control the target quantum system in experimental systems, even if we can eliminate the effect of the heat bath. For example, quantum annealing [3][4][5][6][7] or adiabatic quantum computation [8][9][10] uses quantum dynamics for computation, but the theory of quantum error correction and suppression [11][12][13][14][15] that has been established is not as complete as that of the circuit model [16][17][18]. Therefore, it is vital to investigate the influence of control errors on isolated quantum dynamics from the perspective of analogue quantum computation.
There are two main types of control error that can occur in the time-dependent Hamiltonian. One is time-invariant noise [19][20][21], which acts as a bias. This type of error modifies the Hamiltonian and will not be discussed in the present study. The other, which we will focus on, is stochastic control noise [22][23][24][25]. We formulate stochastic noise in unitary dynamics as time-varying stochastic noise. The time evolution of the system is described by the stochastic differential equation [26]. The present study examines whether it is possible to obtain the target state, which should be determined in noiseless time evolution, in the presence of stochastic control errors. For this purpose, we establish a threshold theorem that provides a sufficient condition for obtaining the target state in the Schrödinger equation with stochastic control errors. Our threshold theorem clarifies that the number of measurements to guarantee obtaining the target state strongly depends on the computational time and noise strength.

Threshold theorem in isolated quantum dynamics with stochastic control errors
We consider the following isolated quantum dynamics: where 0 ≤ t ≤ T andh = 1. By using the measurement basis |n , we expand the final state |ψ(T) as In the following, the entire derivation is based on projective measurements. We are interested in the mth eigenstate |m of the measurement basis, and its probability amplitude C m at the final state |ψ(T) is given by where 0 < < 1 (without loss of generality, we have adjusted the global phase of |ψ(T) so that C m is a positive real number). Then, if the number of measurements r satisfies we succeed in obtaining the target state |m . However, it is difficult to completely control the time-dependent HamiltonianĤ(t) without encountering control errors in experimental systems. We incorporate the control errors ofĤ(t) into the Schrödinger equation as noise that occurs stochastically at each moment. Because we consider isolated quantum dynamics, control errors should also be described as a unitary time evolution. It is well known that norm-preserving stochastic noise can be described by the Stratonovich process [22,23]. Thus, we express the Schrödinger equation with stochastic noise as follows: where k is an index of stochastic control errors,Ĥ error,k (t) describes a stochastic control error, W k (t) describes standard Brownian motion and the symbol '•' denotes the Stratonovich interpretation. The equivalent Ito process is given by where the symbol '•' denotes the Ito interpretation. We emphasize that the norm of |φ(t) is always preserved in time evolution. Furthermore, we assume thatĤ error,k (t) satisfies the following error condition whereÎ is the identity operator and g k (t) is an arbitrary time-dependent function. We note that a system composed of qubits naturally satisfies equation (2.7). For example, whenĤ error,k (t) is constructed from the product of the Pauli operators at several neighbouring,Ĥ error,k (t) = g(t)σ x 1 σ x 2 . . . σ x i , the error condition (2.7) is satisfied. On the other hand, this condition is not satisfied in a bosonic system.
Under these settings, we examine whether it is possible to obtain the target state. If stochastic control errors have a devastating effect on isolated quantum dynamics, the target state cannot be obtained in experimental systems. Additionally, if the number of measurements to guarantee obtaining the target state depends on the problem size N, stochastic control errors have a serious influence on the difficulty of the problem. Our threshold theorem, which clearly addresses these issues, is described as follows.

Remark 2.2.
For exp(−rδ 2 /2) 1, equation (2.10) holds with almost probability 1, then, if rα 2 1 is satisfied, the target state |m is always one of the r measurement outcomes. Thus, the casual form of the conditions to guarantee obtaining the target state is given by Our threshold theorem states that the number of measurements to guarantee obtaining the target state depends strongly on the strength of the noise. For simplicity, we consider a case in which the strength of the noise is time-independent: g k (t) = g k . Then, from equation (2.9), the following condition must be satisfied for the number of measurements to be bounded by a constant order: (2.14) Thus, for any stochastic control errors satisfying equation (2.7), if the sum of the noise strengths is less than the inverse of the computational time, the target state can be obtained through a constant-order number of measurements. Conversely, if the sum of the noise strengths is greater than the inverse of the computational time, the number of measurements to guarantee obtaining the target state increases exponentially with respect to the computational time. In conclusion, stochastic control errors can have a serious impact on the difficulty of the problem, depending on the noise strength.
For example, we apply our threshold theorem to quantum annealing. We consider a case in which the computational time T is given by a polynomial of the problem size N: (2.15) which is efficiently solved by quantum annealing. Then, we must suppress the noise as the problem size increases: Otherwise, from equation (2.9), the number of measurements to guarantee obtaining the target state increases exponentially with respect to the problem size: (2.17) Therefore, when noise suppression fails, stochastic control errors may change an efficient quantum annealing-based solution to the problem into an inefficient solution.
Before providing the proof, we emphasize that our threshold theorem is only a sufficient condition for any isolated quantum dynamics. Incorporating the structure of the problem might improve our result.

Proof of threshold theorem
From equations (2.6) and (2.7), the time evolution of the expectation of the state is described as Then, using the Chernoff-Hoeffding inequality [27,28], we have where C i,m = C i,m + i C i,m , δ > 0, and we used −1 ≤ C i,m ≤ 1. In the following, we set 0 < δ < 1 − and always consider the case in which We note that this inequality plays an important role as a constraint and holds with probability greater than 1 − exp(−rδ 2 /2) from equation (3.5). Next, we consider the case in which the probability amplitudes of the target state in the r realized time trajectories of equation (2.6) satisfy (3.7) In the following, we prove that, under the conditions (2.9) and (3.6), equation (3.7) holds. In order to accomplish this, we consider and then, it is sufficient to prove that, under the condition (3.6), equation (3.9) is necessary for equation (3.8) to hold. Under equation (3.8), r i=1 C i,m takes the maximum value rα when C i,m = α and C i,m = 0. Thus, for equation (3.8) to hold under the condition (3.6), the following inequality must be satisfied: which is just equation (3.9). In summary, equation (3.6) holds with probability greater than 1 − exp(−rδ 2 /2) and equation (3.7) holds under the conditions (2.9) and (3.6), which is proof of the theorem.

Conclusion
We have established a threshold theorem that provides a sufficient condition for obtaining the target state in isolated quantum dynamics with any stochastic control errors satisfying equation (2.7). Our threshold theorem guarantees that if the sum of the noise strengths is less than the inverse of the computational time, the target state can be obtained through a constant-order number of measurements. However, if the sum of the noise strengths is larger than the inverse Furthermore, we imposed the error condition (2.7) on stochastic control errors. If this condition is broken, the simple relation (3.2) does not hold. Then, we cannot guarantee that the target state can be obtained by increasing the number of measurements. In other words, stochastic control errors that do not satisfy equation (2.7) have a serious influence on isolated quantum dynamics.
In the present study, we considered only time-varying noise as a control error. However, timeinvariant noise can also be considered as a control error [19][20][21], and our threshold theorem cannot be applied to such noise. Time-invariant noise modifies the Hamiltonian. In order to obtain the target state in experimental systems, such noise must be reduced to the limit, or a counterpart of our threshold theorem must be derived for such noise.
Finally, it is worth mentioning that we have considered only the sufficient condition to obtain the target state, and model-dependent properties may reduce the number of measurements required. For example, in adiabatic quantum computation, adiabatic time evolution suppresses the diabatic transition from the ground state to other excited states. In such cases, the effect of stochastic control errors may also be reduced.
Data accessibility. This article has no additional data.